226 research outputs found
A nerve lemma for gluing together incoherent discrete Morse functions
Two of the most useful tools in topological combinatorics are the nerve lemma
and discrete Morse theory. In this note we introduce a theorem that
interpolates between them and allows decompositions of complexes into
non-contractible pieces as long as discrete Morse theory ensures that they
behave well enough. The proof is based on diagrams of spaces, but that theory
is not needed for the formulation or applications of the theorem.Comment: 4 page
Polytopes from Subgraph Statistics
Polytopes from subgraph statistics are important in applications and
conjectures and theorems in extremal graph theory can be stated as properties
of them. We have studied them with a view towards applications by inscribing
large explicit polytopes and semi-algebraic sets when the facet descriptions
are intractable. The semi-algebraic sets called curvy zonotopes are introduced
and studied using graph limits. From both volume calculations and algebraic
descriptions we find several interesting conjectures.Comment: Full article, 21 pages, 8 figures. Minor expository update
Tverberg's theorem and graph coloring
The topological Tverberg theorem has been generalized in several directions
by setting extra restrictions on the Tverberg partitions.
Restricted Tverberg partitions, defined by the idea that certain points
cannot be in the same part, are encoded with graphs. When two points are
adjacent in the graph, they are not in the same part. If the restrictions are
too harsh, then the topological Tverberg theorem fails. The colored Tverberg
theorem corresponds to graphs constructed as disjoint unions of small complete
graphs. Hell studied the case of paths and cycles.
In graph theory these partitions are usually viewed as graph colorings. As
explored by Aharoni, Haxell, Meshulam and others there are fundamental
connections between several notions of graph colorings and topological
combinatorics.
For ordinary graph colorings it is enough to require that the number of
colors q satisfy q>Delta, where Delta is the maximal degree of the graph. It
was proven by the first author using equivariant topology that if q>\Delta^2
then the topological Tverberg theorem still works. It is conjectured that
q>K\Delta is also enough for some constant K, and in this paper we prove a
fixed-parameter version of that conjecture.
The required topological connectivity results are proven with shellability,
which also strengthens some previous partial results where the topological
connectivity was proven with the nerve lemma.Comment: To appear in Discrete and Computational Geometry, 13 pages, 1 figure.
Updated languag
Betti diagrams from graphs
The emergence of Boij-S\"oderberg theory has given rise to new connections
between combinatorics and commutative algebra. Herzog, Sharifan, and Varbaro
recently showed that every Betti diagram of an ideal with a k-linear minimal
resolution arises from that of the Stanley-Reisner ideal of a simplicial
complex. In this paper, we extend their result for the special case of 2-linear
resolutions using purely combinatorial methods. Specifically, we show bijective
correspondences between Betti diagrams of ideals with 2-linear resolutions,
threshold graphs, and anti-lecture hall compositions. Moreover, we prove that
any Betti diagram of a module with a 2-linear resolution is realized by a
direct sum of Stanley-Reisner rings associated to threshold graphs. Our key
observation is that these objects are the lattice points in a normal reflexive
lattice polytope.Comment: To appear in Algebra and Number Theory, 15 pages, 7 figure
Toric Cubes
A toric cube is a subset of the standard cube defined by binomial
inequalities. These basic semialgebraic sets are precisely the images of
standard cubes under monomial maps. We study toric cubes from the perspective
of topological combinatorics. Explicit decompositions as CW-complexes are
constructed. Their open cells are interiors of toric cubes and their boundaries
are subcomplexes. The motivating example of a toric cube is the edge-product
space in phylogenetics, and our work generalizes results known for that space.Comment: to appear in Rendiconti del Circolo Matematico di Palermo (special
issue on Algebraic Geometry
The regularity of almost all edge ideals
A fruitful contemporary paradigm in graph theory is that almost all graphs
that do not contain a certain subgraph have common structural characteristics.
The "almost" is crucial, without it there is no structure. In this paper we
transfer this paradigm to commutative algebra and make use of deep graph
theoretic results. A key tool are the critical graphs introduced by Balogh and
Butterfield.
We consider edge ideals of graphs and their Betti numbers. The numbers
of the form constitute the "main diagonal" of the Betti table.
It is well known that any Betti number below (or
equivalently, to the left of) this diagonal is always zero. We identify a
certain "parabola" inside the Betti table and call parabolic Betti numbers the
entries of the Betti table bounded on the left by the main diagonal and on the
right by this parabola. Let be a parabolic Betti number on the
-th row of the Betti table, for . Our main results state that almost
all graphs with can be partitioned into cliques
and one independent set, and in particular for almost all graphs with
the regularity of is .Comment: Edit: improved proofs and statements, added future directions, no new
main results. 31 pages. Accepted for publication in Advances in Mathematic
- …